Modularity in Agent Programming Languages: An Illustration in Extended 2APL
نویسندگان
چکیده
This paper discusses a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of module is generic and facilitates the implementation of different agent concepts such as roles and agent profiles, or to adopt common programming techniques such as encapsulation and information hiding. This vision is applied to 2APL, which is an existing BDI-based agent programming language. Specific programming constructs are added to 2APL to allow the implementation of modules. The syntax and the operational semantics of these programming constructs are provided. Some informal properties of the programming constructs are discussed and it is briefly explained how these modules can be used to implement roles, agent profiles, or simply for encapsulation of task and information hiding.
منابع مشابه
A Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent systems consisting of individual cognitive agents. 2APL distinguishes i...
متن کاملEmotional Agents — an Implementation in 2 APL — Pieter
This paper discusses the implementation of a well-known cognitive model for emotions in the agent specification language 2APL. 2APL is an abstract agent programming language which is based on the notion of BDI (Belief, Desire, Intention). It adheres strict semantical rules and is an extension of the logical language KARO. Traditionally the behaviour of the 2APL agent is defined in terms of goal...
متن کاملProgramming norm-aware agents
Normative organisations provide a means to coordinate the activities of individual agents in multiagent settings. The coordination is realized at run time by creating obligations and prohibitions (norms) for individual agents. If an agent cannot meet an obligation or violates a prohibition, the organisation imposes a sanction on the agent. In this paper, we consider norm-aware agents that delib...
متن کاملModular Rule-Based Programming in 2APL
This chapter presents a modular version of a rule-based programming language called 2APL (A Practical Agent Programming Language). This programming language is designed to support the implementation of multi-agent systems where individual agents are specified in terms of cognitive concepts such as beliefs, goals, event, actions, plans, and three types of reasoning rules. The reasoning rules fac...
متن کاملUsing theorem proving to verify properties of agent programs
We present a sound and complete logic for automatic verification of SimpleAPL programs. SimpleAPL is a fragment of agent programming languages such as 3APL and 2APL designed for the implementation of cognitive agents with beliefs, goals and plans. Our logic is a variant of PDL, and allows the specification of safety and liveness properties of agent programs. We prove a correspondence between th...
متن کامل